From 793513993bc9ae24d6b86c65c2f83c4f2b6ad9b1 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Sun, 17 Sep 2017 16:51:52 -0400 Subject: [PATCH] Drop the gtk-key-bindings property This has been deprecated for a while. Just use the -gtk-prefixed name. --- gtk/gtkcssstylepropertyimpl.c | 1 - 1 file changed, 1 deletion(-) diff --git a/gtk/gtkcssstylepropertyimpl.c b/gtk/gtkcssstylepropertyimpl.c index fc4156d5cb..d50b2d3129 100644 --- a/gtk/gtkcssstylepropertyimpl.c +++ b/gtk/gtkcssstylepropertyimpl.c @@ -1602,7 +1602,6 @@ _gtk_css_style_property_init_properties (void) bindings_value_parse, bindings_value_query, _gtk_css_array_value_new (_gtk_css_string_value_new (NULL))); - _gtk_style_property_add_alias ("-gtk-key-bindings", "gtk-key-bindings"); gtk_css_style_property_register ("caret-color", GTK_CSS_PROPERTY_CARET_COLOR, -- 2.30.2